Buy Used and New Andre Hirschowitz Books

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings: 1690 (Lecture Notes in Computer Science)

by Laurent Thery,Yves Bertot,Andre Hirschowitz,Christine Paulin,Gilles Dowek

ISBN 13: 9783540664635

Format: Paperback (372 pages)
Publisher: Springer
Published: 01 Sep 1999

Save for later

Vector Bundles and Differential Equations: Proceedings, Nice, France June 12-17, 1979 (Progress in Mathematics)

by Andre Hirschowitz

ISBN 13: 9780817630225

Format: Illustrated (260 pages)
Publisher: Birkhäuser
Published: 01 Jan 1980

Save for later